Models for a paraconsistent set theory
نویسندگان
چکیده
منابع مشابه
Paraconsistent Quasi-Set Theory
Paraconsistent logics are logics that can be used to base inconsistent but non-trivial systems. In paraconsistent set theories, we can quantify over sets that in standard set theories (that are based on classical logic), if consistent, would lead to contradictions, such as the Russell set, R = {x : x / ∈ x}. Quasi-set theories are mathematical systems built for dealing with collections of indis...
متن کاملTowards a Paraconsistent Quantum Set Theory
In this paper, we will attempt to establish a connection between quantum set theory, as developed by Ozawa, Takeuti and Titani (see, for example, [13], [12], [10]), and topos quantum theory, as developed by Isham, Butterfield and Döring, amongst others (see, for example, [8], [6], [3]). Towards this end, we will study algebraic valued set-theoretic structures whose truth values correspond to th...
متن کاملParaconsistent set theory by predicating on consistency
This paper intends to contribute to the debate about the uses of paraconsistent reasoning in the foundations of set theory, by means of employing the logics of formal inconsistency (LFIs) and by considering consistent and inconsistent sentences, as well as consistent and inconsistent sets. We establish the basis for new paraconsistent set-theories (such as ZFmbC and ZFCil) under this perspectiv...
متن کاملThe Inadequacy of a Proposed Paraconsistent Set Theory
We show that a paraconsistent set theory proposed in Weber (2010) is strong enough to provide a quite classical non-primitive notion of identity, so that the relation is an equivalence relation and also obeys full substitutivity: a=b(F(a)F(b)). With this as background it is shown that the proposed theory also proves x(xx). While not by itself showing that the proposed system is trivial in t...
متن کاملa new approach to credibility premium for zero-inflated poisson models for panel data
هدف اصلی از این تحقیق به دست آوردن و مقایسه حق بیمه باورمندی در مدل های شمارشی گزارش نشده برای داده های طولی می باشد. در این تحقیق حق بیمه های پبش گویی بر اساس توابع ضرر مربع خطا و نمایی محاسبه شده و با هم مقایسه می شود. تمایل به گرفتن پاداش و جایزه یکی از دلایل مهم برای گزارش ندادن تصادفات می باشد و افراد برای استفاده از تخفیف اغلب از گزارش تصادفات با هزینه پائین خودداری می کنند، در این تحقیق ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2005
ISSN: 1570-8683
DOI: 10.1016/j.jal.2004.07.010